IFB091

IFB091
H. Stoyan: Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation, 1984

Acronyms von A bis Z. 2013.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • IFB091 — H. Stoyan: Maschinen unabhängige Code Erzeugung als semantikerhaltende beweisbare Programmtransformation, 1984 …   Acronyms

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”